Traffic Network Control From Temporal Logic Specifications
نویسندگان
چکیده
منابع مشابه
Correct, Reactive Robot Control from Abstraction and Temporal Logic Specifications
We describe recent advances in formal synthesis of robot controllers from temporal logic specifications. In particular, we consider reactive specifications where the robot continuously gathers information about its environment and decides its action at run time based on this information. The automatically generated controller is provably correct with respect to a given specification for all the...
متن کاملReceding Horizon Control in Dynamic Environments from Temporal Logic Specifications
We present a control strategy for an autonomous vehicle that is required to satisfy a rich mission specification over service requests occurring at the regions of a partitioned environment. The overall mission specification consists of a temporal logic statement over a set of static, a priori known requests, and a servicing priority order over a set of dynamic requests that can be sensed locall...
متن کاملRefining Interval Temporal Logic Specifications
Interval Temporal Logic (ITL) was designed as a tool for the specification and verification of systems. The development of an executable subset of ITL, namely Tempura, was an important step in the use of temporal logic as it enables the developer to check, debug and simulate the design. However, a design methodology is missing that transforms an abstract ITL specification to an executable (conc...
متن کاملRobustness of Temporal Logic Specifications
In this paper, we consider the robust interpretation of Metric Temporal Logic (MTL)formulas over signals that take values in metric spaces. For such signals, whichare generated by systems whose states are equipped with nontrivial metrics, forexample continuous or hybrid, robustness is not only natural, but also a criticalmeasure of system performance. Thus, we propose multi-valu...
متن کاملControl of Dynamical Systems with Temporal Logic Specifications
This thesis is motivated by safety-critical applications involving autonomous air, ground, and space vehicles carrying out complex tasks in uncertain and adversarial environments. We use temporal logic as a language to formally specify complex tasks and system properties. Temporal logic specifications generalize the classical notions of stability and reachability that are studied in the control...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Control of Network Systems
سال: 2016
ISSN: 2325-5870
DOI: 10.1109/tcns.2015.2428471